Modeling Genome Evolution with a DSEL for Probabilistic Programming
نویسندگان
چکیده
Many scientific applications benefit from simulation. However, programming languages used in simulation, such as C++ or Matlab, approach problems from a deterministic procedural view, which seems to differ, in general, from many scientists’ mental representation. We apply a domain-specific language for probabilistic programming to the biological field of gene modeling, showing how the mental-model gap may be bridged. Our system assisted biologists in developing a model for genome evolution by separating the concerns of model and simulation and providing implicit probabilistic non-determinism.
منابع مشابه
A Facility Location Problem with Tchebychev Distance in the Presence of a Probabilistic Line Barrier
This paper considers the Tchebychev distance for a facility location problem with a probabilistic line barrier in the plane. In particular, we develop a mixed-integer nonlinear programming (MINLP) model for this problem that minimizes the total Tchebychev distance between a new facility and the existing facilities. A numerical example is solved to show the validity of the developed model. Becau...
متن کاملFunctional Programming and Virtual Worlds
The FunWorlds project aims to combine and integrate ideas from functional programming, in particular functional reactive programming a la Fran, and virtual worlds, as exemplified by the Virtual Reality Modeling Language (VRML’97). The goal of our research is the design of a concrete toolkit offering functional programmers access to this rich medium for communication and interaction while introd...
متن کاملHaskell Rules: Embedding Rule Systems in Haskell
We present a domain-specific embedded language that allows the definition of rule systems in Haskell. As one particular example, we consider the modeling of type systems, which is an important part of programming language design. Type systems are most conveniently described using rule systems. Our approach is well integrated into Haskell’s type system and thus facilitates the convenient modelin...
متن کاملEvolution and modeling in sustainable supply chain management research
Numerous researchers and practitioners are attracted to sustainability in supply chains (SCS) and it has become one of the favorite topics among academics and industries. The purpose of this paper is to review and analyze the research studies that have been published in the field of sustainable supply chain management (SSCM). A total 242 articles published between 2000 and 2019 reviewed. Conten...
متن کاملI-40: Male Genome Programming, Infertility and Cancer
Background: During male germ cells differentiation, genomewide re-organizations and highly specific programming of the male genome occur. These changes not only include the large-scale meiotic shuffling of genes, taking place in spermatocytes, but also a complete “re-packaging” of the male genome in post meiotic cells, leading to a highly compacted nucleo-protamine structure in the mature sperm...
متن کامل